Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
131	社団法人電子情報通信学会 THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS 信学技報 TECHNICAL REPORT OF IEICE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-11-23 21:54:00 Computing Diagrams Binary decision diagram Model checking Electronic design automation Lookup table Boolean function Field-programmable gate array Canonical form Mathematics Boolean algebra Electronic engineering
132	Technology Mapping with Boolean Matching, Supergates and Choices Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-04-19 22:57:46 Logic synthesis Circuit Standard cell Boolean function Electronic engineering Electronic design automation And-inverter graph
133	An Introduction to Zero-Suppressed Binary Decision Diagrams Alan Mishchenko Department of Electrical and Computer Engineering Portland State University, Portland, OR 97207, USA [removed]; http://www.ee.pdx.edu/~a Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
134	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-07-16 02:15:25 Electronics Diagrams Boolean algebra And-inverter graph Circuit Logic synthesis Topology Boolean function Artificial neuron Electronic engineering Electromagnetism Electronic design automation
135	FRAIGs: A Unifying Representation for Logic Synthesis and Verification Alan Mishchenko, Satrajit Chatterjee, Roland Jiang, Robert Brayton Department of EECS, University of California, Berkeley {alanmi, satrajit, jiejiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-01 15:19:32 Boolean algebra Diagrams Digital electronics And-inverter graph Binary decision diagram Logic optimization Model checking Boolean function Logic synthesis Electronic engineering Electronic design automation Formal methods
136	ALGORITHMS FOR BOOLEAN FUNCTION QUERY PROPERTIES SCOTT AARONSON∗ Abstract. We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for exampl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:47:48 Computational complexity theory Analysis of algorithms Boolean algebra Complexity classes Decision tree model Time complexity Circuit complexity Randomized algorithm Circuit Theoretical computer science Applied mathematics Mathematics
137	Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-16 11:31:41 Mathematical logic Algebraic logic Circuit Boolean function Model checking FO Topology Boolean algebras canonically defined Boolean circuit Theoretical computer science Mathematics Boolean algebra
138	Microsoft Word - ASPDAC Support Reduciing final.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-01-30 12:29:36 Diagrams Binary decision diagram Model checking Symmetry in mathematics Function Heuristic Emmy Noether Group Symmetry Mathematics Boolean algebra
139	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
140	Four-valued Extension of Rough Sets? Aida Vit´oria1 , Andrzej Szałas2,3 , and Jan Małuszy´nski3 1 3 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:22:37 Theoretical computer science Rough set Function Sheaf Multivalued function Many-valued logic Forcing Boolean-valued model Dominance-based rough set approach Mathematics Functions and mappings Mathematical logic

UPDATE